×

computability logic中文什么意思

发音:   用"computability logic"造句

百科释义

    Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".
    详细百科解释

相关词汇

相邻词汇

  1. compuserve信息系统 什么意思
  2. compusory 什么意思
  3. compustat 什么意思
  4. compusystems data products inc 什么意思
  5. computability 什么意思
  6. computability theory 什么意思
  7. computable 什么意思
  8. computable business area 什么意思
  9. computable function 什么意思
  10. computable general equilibrium 什么意思
桌面版繁體版English

相关阅读

Copyright © 2025 WordTech Co.

Last modified time:Tue, 12 Aug 2025 00:29:56 GMT